1. Banach Space Theory : the Basis for Linear and Nonlinear Analysis
پدیدآورنده : Marian Fabiaan ; Petr Habala ; Petr Hajek ; Vicente Montesinos ; Vaclav Zizler
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Banach Spaces
رده :
QA
322
.
2
.
B3
2011
2. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
3. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
4. Lecture Notes in Logic6
پدیدآورنده : / Petr Hajek
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
5. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
6. Metamathematics of Fuzzy Logic
پدیدآورنده : by Petr Hájek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
7. Metamathematics of first-order arithmetic
پدیدآورنده : Hajek, Petr
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Arithmetic -- Foundations
رده :
QA
248
.
H24M4
8. Metamathematics of first-order arithmetic
پدیدآورنده : Hajek, Petr.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Arithmetic-- Foundations
رده :
QA
248
.
H23
1993
9. Metamathematics of first-order arithmetic
پدیدآورنده : Hajek, Petr.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Arithmetic - Foundations
رده :
QA
248
.
H23
1993
10. Metamathematics of first-order arithmetic
پدیدآورنده : Petr Hájek, Pavel Pudlák.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
11. Metamathematics of fuzzy logic
پدیدآورنده : Petr Hajek
موضوع : Fuzzy logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Metamathematics of fuzzy logic
پدیدآورنده : Hajek, Petr.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Fuzzy logic
رده :
QA
9
.
64
.
H34
1998
13. The theory of semisets
پدیدآورنده : Vopeenka, Petr., ]By[ Petr Vopeenka and Petr Hajek
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Set theory
رده :
QA
248
.
V68
14. The theory of semisets
پدیدآورنده : / Peter Vopenka, Petr Hajek
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Set theory
رده :
511
.
3
V952
